L4 – Virtualization and Beyond
نویسندگان
چکیده
After being introduced by IBM in the 1960s, virtualization has experienced a renaissance in recent years. It has become a major industry trend in the server context and is also popular on consumer desktops. In addition to the well-known benefits of server consolidation and legacy preservation, virtualization is now considered in embedded systems. In this paper, we want to look beyond the term to evaluate advantages and downsides of various virtualization approaches. We s h o w h o w v i r t u a l i z a t i o n c a n b e complemented or even superseded by modern operating system paradigms. Using L4 as the basis for virtualization and as an advanced microkernel provides a best-of-both-worlds combination. Microkernels can contribute proven real-time capabilities and small trusted computing bases for security-sensitive applications. We discuss L4Linux and Symbian on L4 as virtualization examples and present several case studies where microkernels provide added value.
منابع مشابه
Hardware virtualization support for Afterburner/L4
Full virtualization of the IA32 architecture can be achieved using hardware support. The L4 microkernel has been extended with mechanisms to leverage Intel’s VT-x technology. This work proposes a user level virtual machine monitor that complements L4’s virtualization extensions and realizes microkernel-based full virtualization of arbitrary operating systems. A prototype implementation within t...
متن کاملPerformance Evaluation of Para-virtualization on Modern Mobile Phone Platform
Emergence of smartphones brings to live the concept of converged devices with the availability of web amenities. Such trend also challenges the mobile devices manufactures and service providers in many aspects, such as security on mobile phones, complex and long time design flow, as well as higher development cost. Among these aspects, security on mobile phones is getting more and more attentio...
متن کاملA State-of-the-Art Survey on Real-Time Issues in Embedded Systems Virtualization
Virtualization has gained great acceptance in the server and cloud computing arena. In recent years, it has also been widely applied to real-time embedded systems with stringent timing constraints. We present a comprehensive survey on real-time issues in virtualization for embedded systems, covering popular virtualization systems including KVM, Xen, L4 and others.
متن کاملVirt/RK: A Real-Time Virtualization Framework for Multi-Core Platforms
In this demo, we present Virt/RK, a real-time virtualization framework specifically developed for multi-core platforms. Virt/RK combines (i) a theoretical framework to analyze the timing requirements of virtualized workloads, (ii) a real-time hypervisor to host multiple real-time guest OSs, and (iii) a suite of tools to allocate resources to real-time applications hosted in a virtualized enviro...
متن کاملA Cache Timing Attack on AES in Virtualization Environments
We show in this paper that the isolation characteristic of system virtualization can be bypassed by the use of a cache timing attack. Using Bernstein’s correlation in this attack, an adversary is able to extract sensitive keying material from an isolated trusted execution domain. We demonstrate this cache timing attack on an embedded ARMbased platform running an L4 microkernel as virtualization...
متن کامل